ACM SIGACT - PDFSEARCH.IO - Document Search Engine

ACM SIGACT
Results: 168

#	Item
71	Curriculum Vitae of Uriel Feige Contact Information Department of Computer Science and Applied Mathematics The Weizmann Institute of Science Rehovot 76100, ISRAEL Phones (office), (cell) Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2015-01-01 11:38:31 Computational complexity theory Complexity classes Approximation algorithm NP-complete ACM SIGACT European Symposium on Algorithms International Colloquium on Automata Languages and Programming Uriel Feige Algorithm Theoretical computer science Applied mathematics Computer science
72	Policies and Guide to Establishing an ACM Award Definitions 1. 2. Add to Reading List Source URL: awards.acm.org Language: English - Date: 2014-09-18 16:49:04 Computer science Association for Computing Machinery Windows legacy audio components ACM SIGACT Computing
73	Impossibility of Distributed Consensus with One Faulty Process MICHAEL J. FISCHER Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2001-09-17 23:22:20 Asynchronous system ACM SIGACT Applied mathematics Computing Computer science Fault-tolerant computer systems Consensus Distributed computing
74	Curriculum Vitae Peter Michael Sewell October 25, 2014 Personal Details Name: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-10-25 15:04:53 Software engineering Principles of Programming Languages International Conference on Functional Programming ACM SIGACT Programming Language Design and Implementation SIGPLAN POPLmark challenge Theoretical computer science International Colloquium on Automata Languages and Programming Computer science Computing Association for Computing Machinery
75	Seth L. Gilbert http://www.comp.nus.edu.sg/∼gilbert/ [removed] +[removed]National University of Singapore Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2015-01-04 10:36:26 Distributed computing Symposium on Principles of Distributed Computing Symposium on Parallelism in Algorithms and Architectures ACM SIGACT International Symposium on Distributed Computing CAP theorem Theoretical computer science Nancy Lynch International Parallel and Distributed Processing Symposium Computing Computer science Computer programming
76	Michael Mitzenmacher [removed[removed]Research Interests Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2012-09-23 22:19:23 Michael Mitzenmacher ACM SIGACT Symposium on Parallelism in Algorithms and Architectures Symposium on Theory of Computing Software visualization Tornado code Theoretical computer science Applied mathematics Computer science
77	Contacts: Paul Beame ACM SIGACT Chair[removed]removed] Add to Reading List Source URL: www.acm.org Language: English - Date: 2014-04-30 15:56:26 ACM SIGACT International Colloquium on Automata Languages and Programming Gödel Prize Association for Computing Machinery Ronald Fagin Computational geometry European Association for Theoretical Computer Science Algorithm Dijkstra Prize Theoretical computer science Computer science Applied mathematics
78	Bibliography [1] W. Aiello, M. Bellare and R. Venkatesan. Knowledge on the Average { Perfect, Statistical and Logarithmic. In 27th ACM Symposium on the Theory of Computing, pages 469{478, [removed]W. Aiello and J. Hast Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:25:12 Computer science ACM SIGACT Mathematical sciences International Colloquium on Automata Languages and Programming Cryptography Dana Ron Sheila Greibach Applied mathematics Silvio Micali Theoretical computer science
79	CALL FOR PAPERS Fifteenth Annual ACM Symposium on PARALLELISM IN ALGORITHMS AND ARCHITECTURES (SPAA) June 7 – 9, 2003, San Diego, CA, USA http://www.spaa-conference.org SCOPE: Contributed papers are sought in all areas Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2003-09-13 16:07:12 Computer science ACM SIGACT Parallel computing Distributed computing Algorithm Symposium on Principles of Distributed Computing Theoretical computer science Symposium on Parallelism in Algorithms and Architectures Computing
80	Letter from the President Dear EATCS members, As usual this time of the year, I have the great pleasure to announce the assignments of this year’s Gódel Prize, EATCS Award and Presburger Award. Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:44:59 Year of birth missing Automata theory International Colloquium on Automata Languages and Programming Presburger Award Gödel Prize European Association for Theoretical Computer Science ACM SIGACT Moshe Y. Vardi Éva Tardos Computer science Theoretical computer science Applied mathematics

UPDATE